$\vdash$  $\forall$$A$:$\mathbb{P}$. (False $\vee$ $A$) $\Leftarrow\!\Rightarrow$ $A$